$\forall$$x$, ${\it tg}$:Id, $k$:Knd, $l$:IdLnk, $T$, $A$, $B$:Type, $f$:($A$$\rightarrow$$B$$\rightarrow$($T$ List)), ${\it es}$:ES.
\\[0ex]sends1{-}p(${\it es}$;$x$;$A$;$k$;$B$;$l$;${\it tg}$;$T$;$f$) $\in$ $\mathbb{P}$